COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.<< Assemble the parts of Recursive Programming in LISP>>
C00003 00003	.begin "ASSEMBLY"
C00004 00004	.INSERT CONTENTS
C00006 ENDMK
C⊗;
.<< Assemble the parts of Recursive Programming in LISP>>
.<< WARNING!!! be sure to turn off local pub commands before pubbing this file>>
.require "bkmac.pub[boo,jmc]" source_file
.odd heading(, {sname}, {page}) ;
.even heading({page}, {sname}, ) ;
.
.
.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.begin "ASSEMBLY"
.
.
.BEGIN "Title"
.pagehigh←54
.pagewide←80
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area title lines 16 to pagehigh;
.place title;
.sname ← SSNAME ← NULL
.PORTION TITLEPAGE
.FONT A "BEESIX";
.center select A
LISP
.SKIP 2
Programming and Proving
.SKIP 4
.skip 10
.select 1
.TURN ON "{}"
Copyright %8@%* {year} 
.skip
John McCarthy and Carolyn Talcott
.skip 2
Stanford University
.skip 3
This version printed at {time} on {date}.
.TURN OFF 
.END "Title"
.
.INSERT CONTENTS
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999
.NOTASSEMBLING ← FALSE
.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(,,Introduction,i)
.GET PREFAC
.SET SECTIONPARS(I,1,Chapter,1)
.itemmac
.eqnmac
.figmac
.tablemac
.GET |READIN[BOO,JMC]|
.GET |WRITIN[BOO,JMC]|
.GET |PROVIN[BOO,JMC]|
.GET |PROVEX[BOO,JMC]|
.GET |IMPURE[BOO,JMC]|
.GET |MACHIN[BOO,JMC]|
.GET |SEARCH[BOO,JMC]|
.GET |COMPIL[BOO,JMC]|
.GET |ABSNTX[BOO,JMC]|
.<<GET |EXTEND[BOO,JMC]|>>
.GET |COMPUT[BOO,JMC]|
.SET SECTIONPARS(,,Bibliography,i)
.GET |LSPBIB[BOO,JMC]|
.SET SECTIONPARS(A,1,Appendix,i)
.GET |LCOMAP[BOO,JMC]|
.END "Text"
.
.
.insert FNINDEX
.mkindex(FUNCTION INDEX,FNINDEX)
.mkcontents
.END "ASSEMBLY"